частичная верификация

См. также в других словарях:

• ПОДТВЕРЖДЕНИЕ — один из видов обоснования, состоящий в выведении следствий из наличного гипотетического утверждения с последующим их соотнесением с достоверно установленными положениями. Особую роль П. играет в случаях, когда в процесс научного исследования… …   Новейший философский словарь

• Удовлетворенность трудом — эмоционально окрашенное оценочное представление субъекта деятельности о результате своей трудовой активности, о самом процессе работы и внешних условиях, в которых она осуществляется. В рамках современной психологической науки общепринятой и… …   Энциклопедический словарь по психологии и педагогике

• ГОСТ Р 27.002-2009: Надежность в технике. Термины и определения — Терминология ГОСТ Р 27.002 2009: Надежность в технике. Термины и определения оригинал документа: A(t): Вероятность того, что изделие в данный момент времени находится в работоспособном состоянии. Определения термина из разных документов: A(t) l… …   Словарь-справочник терминов нормативно-технической документации

• ГОСТ Р 53480-2009: Надежность в технике. Термины и определения — Терминология ГОСТ Р 53480 2009: Надежность в технике. Термины и определения оригинал документа: 120 автоматическое техническое обслуживание : Техническое обслуживание, выполняемое без вмешательства человека. Определения термина из разных… …   Словарь-справочник терминов нормативно-технической документации

• ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств — Терминология ГОСТ Р ИСО/МЭК 12207 2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа: 4.5 аудит (audit): Независимая оценка программных продуктов и процессов,… …   Словарь-справочник терминов нормативно-технической документации

• ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств — Терминология ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа: 3.35 аттестация (validation): Подтверждение экспертизой и представлением объективных доказательств того, что… …   Словарь-справочник терминов нормативно-технической документации

• Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

• Кишечник — I Кишечник (intestina) часть пищеварительного канала, начинающаяся от привратника желудка и заканчивающаяся заднепроходным отверстием. В кишечнике происходит переваривание и всасывание пищи, удаление образующихся шлаков, синтезируются некоторые… …   Медицинская энциклопедия

• Iiko — информационная система управления ресторанным бизнесом. Базовые решения iiko: iikoRMS система автоматизации ресторанов и iikoChain система автоматизации ресторанных сетей. Содержание 1 История 2 Название …   Википедия

• Система компьютерной алгебры — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Добавить иллюстрации. Викифицировать список литературы, используя …   Википедия

• ОПУХОЛИ КИШЕЧНИКА — Опухоли тонкой кишки встречаются редко, чаще они локализуются в дистальной части подвздошной кишки, иногда имеет место множественное поражение. Доброкачественные опухоли тонкой кишки по строению разделяют на эпителиальные (аденомы) и… …   Энциклопедический словарь по психологии и педагогике